A constructive approach to translatability of view updates

In this article, we revisit the view update framework by Bancilhon and Spyratos in a setting with constraints expressed in first-order logic. We explicitly consider constraints on both the database and the view schemas, along with inter-schema constraints that implicitly define the view mappings. Using the notion of logical definability we give a constructive characterisation of views, their inverses and complements, and provide an effective method for checking whether an arbitrary first-order expressible view update can be (uniquely) translated under the constant complement principle.